Instance Verification Kit (IVK)
spin lock @ [54684+37+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
Instance Signature: lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
xudc_ctrl_ep_handler
[53140+20+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_done
[18349+9+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep0_in
[51083+11+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep0_out
[49747+12+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep_dequeue
[33276+15+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep_disable
[27881+15+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_ep_queue
[31789+13+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_handle_setup
[48028+17+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_irq
[54546+8+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_nonctrl_ep_handler
[53784+23+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_nuke
[22925+9+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_read_fifo
[19337+14+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_startup_handler
[41246+20+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_stop
[39703+9+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_stop_activity
[38331+18+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]
xudc_write_fifo
[21569+15+/linux-3.18-rc1/drivers/usb/gadget/udc/udc-xilinx.c]